min $integral dX$ max [ Y , max ( WORLDBATH bath ) ]